xen/arm: disable a physical IRQ when the guest disables the corresponding IRQ
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Thu, 12 Dec 2013 18:59:07 +0000 (18:59 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 16 Dec 2013 16:04:54 +0000 (16:04 +0000)
commit88eb95e3fba3f8d58c77ff548e26fa55f0caaef5
tree968cf46afad6f7e68358224f0fc0dc9f71c6ff90
parent132f65cb4164b54a98e150754330391fc05f8c46
xen/arm: disable a physical IRQ when the guest disables the corresponding IRQ

In vgic_disable_irqs remove irqs from the lr_pending queue so that they
won't get automatically injected in the guest on maintenance interrupts.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
xen/arch/arm/gic.c
xen/arch/arm/vgic.c
xen/include/asm-arm/gic.h